PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
نویسندگان
چکیده
منابع مشابه
PDT logic: a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their temporal evolution in multi-agent systems. This formalism enables the quantification of agents’ beliefs through probability intervals and incorporates an explicit notion of time. We discuss how over time agents dynamically change their beliefs in facts, temporal rule...
متن کاملA Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
We present Probabilistic Doxastic Temporal (PDT) Logic, a formalism to represent and reason about probabilistic beliefs and their temporal evolution in multi-agent systems. This formalism builds upon recent work on APT Logic. It enables the quantification of beliefs through probability intervals and incorporates the concepts of frequency functions and epistemic actions. We show how agents can u...
متن کاملPDT Logic for Stream Reasoning in Multi-agent Systems
We present Probabilistic Doxastic Temporal (PDT) Logic for streams, a formalism to reason about probabilistic beliefs and their infinite temporal evolution in multi-agent systems. Extending previous work on PDT Logic, this formalism builds on a Markov chain model to represent infinite streams of possible worlds. Within these streams, it enables the quantification of beliefs through probability ...
متن کاملA Probabilistic Logic for Reasoning about Uncertain Temporal Information
The main goal of this work is to present the proof-theoretical and model-theoretical approach to a probabilistic logic which allows reasoning about temporal information. We extend both the language of linear time logic and the language of probabilistic logic, allowing statements like “A will always hold”and “the probability that A will hold in next moment is at least the probability that B will...
متن کاملEquivalent Beliefs in Dynamic Doxastic Logic
Two propositions may be regarded as doxastically equivalent if revision of an agent’s beliefs to adopt either has the same effect on the agent’s belief state. We enrich the language of dynamic doxastic logic with formulas expressing this notion of equivalence, and provide it with a formal semantics. A finitary proof system is then defined and shown to be sound and complete for this semantics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2016
ISSN: 1076-9757
DOI: 10.1613/jair.5182